/* EMU 1.1
 * 2012 Rogerio Drummond
 * IC – Unicamp
*/

package abstractions;

import java.util.*;

// A Part represents all the eleemnts in a general selection.
// It is imutable and composed of: initial-string, a list of Atoms, final-string.
// The strings and the list of Atoms can be empty, but at least one of them must be
// non-empty for a proper Part.
// The Part always retains the original id of the Atoms so that Undo and Redo operations
// can reestore the original AtomIds used in the EMUDoc.
public class Part {
	String pt_inic;			//pode ser vazio
	String pt_final;			//Pode ser vazio
	ArrayList<Atom> list;	//Pode ser vazio, as ids novas são geradas após sairem do ClipBoard

	// EFFECTS: Copies the strings and the list of Atoms preserving their AtomIds.
	// Note: it has to copy the elements to keep the Part imutable.
	Part(Selection sel) {}

	// Returns a String serialization of the Part.	
	public String toString() {
		return null;		// to compile ...
	}
}

